1

Ordered setsRandQas bases of Kripke models

Mitio Takano
Journal:
Studia Logica
Year:
1987
Language:
english
File:
PDF, 668 KB
english, 1987
2

Existence of the least and the greatest elements of a subset of the Lindenbaum algebra

Takano, Mitio
Journal:
Tsukuba Journal of Mathematics
Year:
1985
Language:
english
File:
PDF, 213 KB
english, 1985
4

A semantical investigation into Leśniewski's axiom of his ontology

Mitio Takano
Journal:
Studia Logica
Year:
1985
Language:
english
File:
PDF, 342 KB
english, 1985
5

Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic

Mitio Takano
Journal:
Studia Logica
Year:
1987
Language:
english
File:
PDF, 304 KB
english, 1987
6

Proof theory for minimal quantum logic: A remark

Mitio Takano
Journal:
International Journal of Theoretical Physics
Year:
1995
Language:
english
File:
PDF, 180 KB
english, 1995
7

Completeness of a cut-free calculus with equality and function constants

Mitio Takano
Journal:
Archive for Mathematical Logic
Year:
1985
Language:
english
File:
PDF, 174 KB
english, 1985
8

Strong completeness of lattice-valued logic

Mitio Takano
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 90 KB
english, 2002
9

Subformula Property in Many-Valued Modal Logics

Mitio Takano
Journal:
Journal of Symbolic Logic
Year:
1994
Language:
english
File:
PDF, 248 KB
english, 1994
10

Intermediate predicate logics determined by ordinals

Minari, Pierluigi, Takano, Mitio, Ono, Hiroakira
Journal:
Journal of Symbolic Logic
Year:
1990
Language:
english
File:
PDF, 1.84 MB
english, 1990
11

An interpolation theorem in many-valued logic

Hanazawa, Masazumi, Takano, Mitio
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 402 KB
english, 1986
12

An Interpolation Theorem in Many-Valued Logic

Masazumi Hanazawa and Mitio Takano
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 182 KB
english, 1986
13

Gentzenization of Trilattice Logics

Takano, Mitio
Journal:
Studia Logica
Year:
2016
Language:
english
File:
PDF, 487 KB
english, 2016
14

Embeddings between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic

Mitio Takano
Journal:
Studia Logica
Year:
1987
Language:
english
File:
PDF, 647 KB
english, 1987
15

A Semantical Investigation into Leśniewski's Axiom of His Ontology

Mitio Takano
Journal:
Studia Logica
Year:
1985
Language:
english
File:
PDF, 789 KB
english, 1985
16

Another proof of the strong completeness of the intuitionistic fuzzy logic

Takano, Mitio
Journal:
Tsukuba Journal of Mathematics
Year:
1987
Language:
english
File:
PDF, 372 KB
english, 1987
17

Sequent calculi for three-valued logics

Takano, Mitio
Journal:
Tsukuba Journal of Mathematics
Year:
1998
Language:
english
File:
PDF, 1.07 MB
english, 1998
18

Interpolation theorem in many-valued logics with designated values

Takano, Mitio
Journal:
Kodai Mathematical Journal
Year:
1989
Language:
english
File:
PDF, 595 KB
english, 1989